Properties of Input-Consuming Derivations

Properties of Input-Consuming Derivations

We study the properties of input-consuming derivations of moded logic programs. Inputconsuming derivations can be used to model the behavior of logic programs using dynamic scheduling and employing constructs such as delay declarations. We consider the class of nicely-moded programs and queries. We show that for these programs a weak version of the well-known switching lemma holds also for inpu...

Properties of Input - Consuming

Declarative Semantics of Input Consuming Logic Programs

Most logic programming languages actually provide some kind of dynamic scheduling to increase the expressive power and to control execution. Input consuming derivations have been introduced to describe dynamic scheduling while abstracting from the technical details. In this paper we review and compare the different proposals given in [?], [?] and [?] for denotational semantics of programs with ...

Semantics of Well-Moded Input-Consuming Programs

Semanti s of Input - Consuming Logi